Homotopy category - PDFSEARCH.IO - Document Search Engine

Homotopy category
Results: 312

#	Item
201	Structuralism, Invariance, and Univalence∗ Steve Awodey March 4, 2014 Abstract The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Morphisms Category theory Algebraic structures Adjoint functors Isomorphism Groupoid Equivalence of categories Equality Abstract algebra Mathematics Algebra
202	What n-Categories Should Be Like John C. Baez A %% Add to Reading List Source URL: www.ima.umn.edu Language: English - Date: 2004-06-11 10:36:24 Abstract algebra Homotopy theory Higher category theory Algebraic structures PRO Groupoid Braided monoidal category Functor Category Category theory Algebra Monoidal categories
203	Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Abstract algebra Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Out Homotopy theory Topology Mathematics
204	arXiv:0906.4521v1 [math.LO] 24 Jun 2009 ¨ COMPLEXES MARTIN-LOF S. AWODEY, P. HOFSTRA, AND M. A. WARREN Dedicated to Per Martin-L¨ Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Groupoid Homotopy Fundamental group Equivalence relation Abstract algebra Mathematics Topology
205	INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS CONSTRUCTIVE TYPE THEORY AND HOMOTOPY STEVE AWODEY CARNEGIE MELLON UNIVERSITY Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Groupoid Homotopy type theory Homotopy Model category Fundamental group CW complex Category theory Homotopy theory Topology Abstract algebra
206	Homotopy Theoretic Aspects of Constructive Type Theory Michael Alton Warren August 2008 Carnegie Mellon University Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Mathematics Topology Algebraic topology Higher category theory Model category Groupoid Simplicial set Alexander Grothendieck Model theory Abstract algebra Homotopy theory Category theory
207	RIGIDITY THEOREMS IN STABLE HOMOTOPY THEORY CASE FOR SUPPORT 1. Track Records Andrew Baker was awarded a Ph.D. from the University of Manchester in[removed]He spent 11 years in a succession of postdoctoral positions in Can Add to Reading List Source URL: sarah-whitehouse.staff.shef.ac.uk Language: English - Date: 2006-10-20 07:01:03 Algebraic topology Morava K-theory Spectrum Cohomology Homotopy group Homotopy category Model category Adams spectral sequence Stable homotopy theory Topology Abstract algebra Homotopy theory
208	Version 4.2 Metabolism, Reproduction, and Chirality Insights from a groupoid stereochemistry Rodrick Wallace, Ph.D. Division of Epidemiology Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2008-10-29 11:47:41 Homotopy theory Category theory Algebraic structures Symmetry Groupoid Group actions Equivalence relation Path Category Abstract algebra Mathematics Algebra
209	BOUNDING THE NUMBER OF STABLE HOMOTOPY TYPES OF A PARAMETRIZED FAMILY OF SEMI-ALGEBRAIC SETS DEFINED BY QUADRATIC INEQUALITIES SAUGATA BASU AND MICHAEL KETTNER Abstract. We prove a nearly optimal bound on the number of s Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-06-16 13:36:03 Homotopy Algebraic geometry CW complex Algebraic topology Freudenthal suspension theorem Homotopy category Topology Homotopy theory Abstract algebra
210	Groupoids and crossed objects in algebraic topology Ronald Brown∗ School of Computer Science Bangor University United Kingdom October 23, 2011 Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2011-10-23 12:37:46 Homotopy theory Category theory Higher category theory Algebraic topology Algebraic structures Groupoid Double groupoid Seifert–van Kampen theorem Group action Abstract algebra Mathematics Algebra

UPDATE